Bottom up Specialisation: towards General Foundations ?

DRAFT – DO NOT QUOTE WITHOUT PERMISSION Cooperative Development and Local ( Rural , Urban ) Community . Towards a Bottom Up Strategy to ( re ) Build the Social Foundations of Cooperatives

Program Specialisation and Abstract Interpretation Reconciled Program Specialisation and Abstract Interpretation Reconciled Program Specialisation and Abstract Interpretation Reconciled

We clarify the relationship between abstract interpretation and program spe-cialisation in the context of logic programming. We present a generic top-down abstract specialisation framework, along with a generic correctness result, into which a lot of the existing specialisation techniques can be cast. The framework also shows how these techniques can be further improved by moving to more re-ned...

Bottom - up Specialisation of Logic

Bottom Up Information Propagation for

Traditional top down specialisation techniques are not optimal to spe-cialise programs containing a lot of internal structure handling, such as programs containing abstract data types or meta programs. In this abstract , we discuss the diiculties top down specialisers have when special-ising these kinds of programs. The diiculties arise from the fact that unfolding works in a top down way, wher...

A Framework for Bottom Up Specialisation of Logic Programs

In this paper, we develop a solid theoretical foundation for a bottom up program transformation, capable of specialising a logic program with respect to a set of unit clauses. Extending a well-known operator , originally introduced for composing logic programs, we deene a bottom up partial deduction operator and prove correctness of the transformation with respect to the S-semantics. We also sh...